Eugenio Moggi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Notions of computation and monads

Journal:

Information and Computation

Year:

1991

Language:

english

File:

PDF, 1.86 MB

english, 1991

2

Kripke-style models for typed lambda calculus

John C. Mitchell, Eugenio Moggi

Journal:

Annals of Pure and Applied Logic

Year:

1991

Language:

english

File:

PDF, 1.84 MB

english, 1991

3

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Allegories as a basis for algorithmics

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 883 KB

english, 1997

4

Monad transformers as monoid transformers

Mauro Jaskelioff, Eugenio Moggi

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 391 KB

english, 2010

5

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Monads and modular term rewriting

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.30 MB

english, 1997

6

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Lifting

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 692 KB

english, 1997

7

A category-theoretic characterization of functional completeness

Giuseppe Longo, Eugenio Moggi

Journal:

Theoretical Computer Science

Year:

1990

Language:

english

File:

PDF, 2.16 MB

english, 1990

8

Structuring Operational Semantics: Simplification and Computation

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

9

A categorical account of two-level languages

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

File:

PDF, 27 KB

1997

10

Applied semantics: Selected topics

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 112 KB

english, 2005

11

Partial morphisms in categories of effective objects

Journal:

Information and Computation

Year:

1988

Language:

english

File:

PDF, 1.46 MB

english, 1988

12

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || An introduction to n-categories

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 2.01 MB

english, 1997

13

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Specifying interaction categories

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 864 KB

english, 1997

14

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || A 2-categorical presentation of term graph rewriting

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.66 MB

english, 1997

15

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || General synthetic domain theory — A logical approach (extended abstract)

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.32 MB

english, 1997

16

MetaKlaim: a type safe multi-stage language for global computing

FERRARI, GIANLUIGI, MOGGI, EUGENIO, PUGLIESE, ROSARIO

Journal:

Mathematical Structures in Computer Science

Year:

2004

Language:

english

File:

PDF, 414 KB

english, 2004

17

Special issue: Modalities in type theory

FAIRTLOUGH, MATT, MENDLER, MICHAEL, MOGGI, EUGENIO

Journal:

Mathematical Structures in Computer Science

Year:

2001

Language:

english

File:

PDF, 228 KB

english, 2001

18

Constructive natural deduction and its ‘ω-set’ interpretation

Longo, Giuseppe, Moggi, Eugenio

Journal:

Mathematical Structures in Computer Science

Year:

1991

Language:

english

File:

PDF, 5.61 MB

english, 1991

19

A category-theoretic account of program modules

Journal:

Mathematical Structures in Computer Science

Year:

1991

Language:

english

File:

PDF, 2.13 MB

english, 1991

20

[ACM Press the 17th ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1990..-..)] Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - Higher-order modules and the phase distinction

Harper, Robert, Mitchell, John C., Moggi, Eugenio

Year:

1990

Language:

english

File:

PDF, 1.20 MB

english, 1990

21

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Categorical modelling of structural operational rules case studies

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.15 MB

english, 1997

22

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Separating shape from data

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 124 KB

english, 1997

23

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || A factorisation theorem in rewriting theory

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.17 MB

english, 1997

24

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Presheaf models for the π-calculus

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.39 MB

english, 1997

25

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Shedding new light in the world of logical systems

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.37 MB

english, 1997

26

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Combining and representing logical systems

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.31 MB

english, 1997

27

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n)).

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 738 KB

english, 1997

28

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || A calculus for collections and aggregates

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.52 MB

english, 1997

29

An abstract monadic semantics for value recursion

Moggi, Eugenio, Sabry, Amr

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2004

Language:

english

File:

PDF, 270 KB

english, 2004

30

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Proof principles for datatypes with iterated recursion

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 1.40 MB

english, 1997

31

Safe & robust reachability analysis of hybrid systems

Moggi, Eugenio, Farjudian, Amin, Duracz, Adam, Taha, Walid

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.19 MB

english, 2018

32

Foreword ICTCS 2010 special issue

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2012

Language:

english

File:

PDF, 28 KB

english, 2012

33

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Effectiveness of the global modulus of continuity on metric spaces

Moggi, Eugenio, Rosolini, Giuseppe

Year:

1997

Language:

english

File:

PDF, 653 KB

english, 1997